ePMC

Benchmark
Model:rabin v.1 (MDP)
Parameter(s)N = 100
Property:live (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files rabin.100.prism --model-input-type prism --property-input-files rabin.100.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 36 36
build-model-states-explored 80 44
build-model-states-explored 127 47
build-model-states-explored 172 45
build-model-states-explored 220 48
build-model-states-explored 267 47
build-model-states-explored 316 49
build-model-states-explored 358 42
build-model-states-explored 405 47
build-model-states-explored 452 47
build-model-states-explored 501 49
build-model-states-explored 549 48
build-model-states-explored 597 48
build-model-states-explored 646 49
build-model-states-explored 682 36
build-model-states-explored 731 49
build-model-states-explored 779 48
build-model-states-explored 828 49
build-model-states-explored 876 48
build-model-states-explored 924 48
build-model-states-explored 973 49
build-model-states-explored 1020 47
build-model-states-explored 1069 49
build-model-states-explored 1117 48
build-model-states-explored 1166 49
build-model-states-explored 1213 47
build-model-states-explored 1262 49
build-model-states-explored 1310 48
build-model-states-explored 1336 26
build-model-states-explored 1383 47
build-model-states-explored 1432 49
build-model-states-explored 1480 48
build-model-states-explored 1529 49
build-model-states-explored 1577 48
build-model-states-explored 1626 49
build-model-states-explored 1674 48
build-model-states-explored 1722 48
build-model-states-explored 1771 49
build-model-states-explored 1819 48
build-model-states-explored 1868 49
build-model-states-explored 1916 48
build-model-states-explored 1964 48
build-model-states-explored 2013 49
build-model-states-explored 2061 48
build-model-states-explored 2109 48
build-model-states-explored 2157 48
build-model-states-explored 2205 48
build-model-states-explored 2254 49
build-model-states-explored 2303 49
build-model-states-explored 2351 48
build-model-states-explored 2399 48
build-model-states-explored 2447 48
build-model-states-explored 2496 49
build-model-states-explored 2545 49
build-model-states-explored 2593 48
build-model-states-explored 2642 49
build-model-states-explored 2651 9
build-model-states-explored 2692 41
build-model-states-explored 2741 49
build-model-states-explored 2789 48
build-model-states-explored 2837 48
build-model-states-explored 2886 49
build-model-states-explored 2934 48
build-model-states-explored 2983 49
build-model-states-explored 3031 48
build-model-states-explored 3080 49
build-model-states-explored 3128 48
build-model-states-explored 3176 48
build-model-states-explored 3225 49
build-model-states-explored 3274 49
build-model-states-explored 3322 48
build-model-states-explored 3370 48
build-model-states-explored 3418 48
build-model-states-explored 3467 49
build-model-states-explored 3516 49
build-model-states-explored 3564 48
build-model-states-explored 3613 49
build-model-states-explored 3661 48
build-model-states-explored 3709 48
build-model-states-explored 3758 49
build-model-states-explored 3806 48
build-model-states-explored 3855 49
build-model-states-explored 3903 48
build-model-states-explored 3952 49
build-model-states-explored 4000 48
build-model-states-explored 4048 48
build-model-states-explored 4097 49
build-model-states-explored 4145 48
build-model-states-explored 4194 49
build-model-states-explored 4242 48
build-model-states-explored 4292 50
build-model-states-explored 4340 48
build-model-states-explored 4389 49
build-model-states-explored 4437 48
build-model-states-explored 4486 49
build-model-states-explored 4535 49
build-model-states-explored 4583 48
build-model-states-explored 4633 50
build-model-states-explored 4681 48
build-model-states-explored 4730 49
build-model-states-explored 4780 50
build-model-states-explored 4829 49
build-model-states-explored 4878 49
build-model-states-explored 4927 49
build-model-states-explored 4976 49
build-model-states-explored 5026 50
build-model-states-explored 5077 51
build-model-states-explored 5128 51
build-model-states-explored 5182 54
build-model-states-explored 5229 47
build-model-states-explored 5278 49
build-model-states-explored 5326 48
build-model-states-explored 5345 19
build-model-states-explored 5345 0
build-model-states-explored 5379 34
build-model-states-explored 5426 47
build-model-states-explored 5475 49
build-model-states-explored 5521 46
build-model-states-explored 5571 50
build-model-states-explored 5619 48
build-model-states-explored 5668 49
build-model-states-explored 5716 48
build-model-states-explored 5766 50
build-model-states-explored 5813 47
build-model-states-explored 5863 50
build-model-states-explored 5911 48
build-model-states-explored 5960 49
build-model-states-explored 6008 48
build-model-states-explored 6058 50
build-model-states-explored 6106 48
build-model-states-explored 6155 49
build-model-states-explored 6203 48
build-model-states-explored 6252 49
build-model-states-explored 6302 50
build-model-states-explored 6350 48
build-model-states-explored 6399 49
build-model-states-explored 6447 48
build-model-states-explored 6496 49
build-model-states-explored 6544 48
build-model-states-explored 6594 50
build-model-states-explored 6641 47
build-model-states-explored 6691 50
build-model-states-explored 6741 50
build-model-states-explored 6788 47
build-model-states-explored 6838 50
build-model-states-explored 6885 47
build-model-states-explored 6934 49
build-model-states-explored 6984 50
build-model-states-explored 7032 48
build-model-states-explored 7081 49
build-model-states-explored 7129 48
build-model-states-explored 7178 49
build-model-states-explored 7228 50
build-model-states-explored 7276 48
build-model-states-explored 7325 49
build-model-states-explored 7374 49
build-model-states-explored 7422 48
build-model-states-explored 7472 50
build-model-states-explored 7521 49
build-model-states-explored 7569 48
build-model-states-explored 7618 49
build-model-states-explored 7668 50
build-model-states-explored 7716 48
build-model-states-explored 7765 49
build-model-states-explored 7815 50
build-model-states-explored 7862 47
build-model-states-explored 7912 50
build-model-states-explored 7961 49
build-model-states-explored 8011 50
build-model-states-explored 8059 48
build-model-states-explored 8108 49
build-model-states-explored 8157 49
build-model-states-explored 8207 50
build-model-states-explored 8255 48
build-model-states-explored 8304 49
build-model-states-explored 8353 49
build-model-states-explored 8403 50
build-model-states-explored 8452 49
build-model-states-explored 8500 48
build-model-states-explored 8549 49
build-model-states-explored 8599 50
build-model-states-explored 8648 49
build-model-states-explored 8698 50
build-model-states-explored 8747 49
build-model-states-explored 8796 49
build-model-states-explored 8845 49
build-model-states-explored 8895 50
build-model-states-explored 8944 49
build-model-states-explored 8994 50
build-model-states-explored 9043 49
build-model-states-explored 9092 49
build-model-states-explored 9141 49
build-model-states-explored 9191 50
build-model-states-explored 9240 49
build-model-states-explored 9289 49
build-model-states-explored 9339 50
build-model-states-explored 9388 49
build-model-states-explored 9439 51
build-model-states-explored 9488 49
build-model-states-explored 9538 50
build-model-states-explored 9589 51
build-model-states-explored 9638 49
build-model-states-explored 9689 51
build-model-states-explored 9738 49
build-model-states-explored 9789 51
build-model-states-explored 9839 50
build-model-states-explored 9890 51
build-model-states-explored 9941 51
build-model-states-explored 9992 51
build-model-states-explored 10044 52
build-model-states-explored 10096 52
build-model-states-explored 10150 54
build-model-states-explored 10212 62
build-model-states-explored 10261 49
build-model-states-explored 10309 48
build-model-states-explored 10358 49
build-model-states-explored 10406 48
build-model-states-explored 10455 49
build-model-states-explored 10503 48
build-model-states-explored 10552 49
build-model-states-explored 10600 48
build-model-states-explored 10649 49
build-model-states-explored 10697 48
build-model-states-explored 10746 49
build-model-states-explored 10792 46
build-model-states-explored 10792 0
build-model-states-explored 10792 0
build-model-states-explored 10792 0
build-model-states-explored 10798 6
build-model-states-explored 10837 39
build-model-states-explored 10874 37
build-model-states-explored 10912 38
build-model-states-explored 10949 37
build-model-states-explored 10988 39
build-model-states-explored 11025 37
build-model-states-explored 11062 37
build-model-states-explored 11101 39
build-model-states-explored 11138 37
build-model-states-explored 11177 39
build-model-states-explored 11213 36
build-model-states-explored 11249 36
build-model-states-explored 11287 38
build-model-states-explored 11323 36
build-model-states-explored 11362 39
build-model-states-explored 11398 36
build-model-states-explored 11437 39
build-model-states-explored 11474 37
build-model-states-explored 11512 38
build-model-states-explored 11551 39
build-model-states-explored 11588 37
build-model-states-explored 11627 39
build-model-states-explored 11664 37
build-model-states-explored 11703 39
build-model-states-explored 11740 37
build-model-states-explored 11779 39
build-model-states-explored 11816 37
build-model-states-explored 11855 39
build-model-states-explored 11892 37
build-model-states-explored 11929 37
build-model-states-explored 11968 39
build-model-states-explored 12005 37
build-model-states-explored 12044 39
build-model-states-explored 12081 37
build-model-states-explored 12119 38
build-model-states-explored 12156 37
build-model-states-explored 12194 38
build-model-states-explored 12231 37
build-model-states-explored 12270 39
build-model-states-explored 12307 37
build-model-states-explored 12346 39
build-model-states-explored 12383 37
build-model-states-explored 12422 39
build-model-states-explored 12459 37
build-model-states-explored 12498 39
build-model-states-explored 12536 38
build-model-states-explored 12575 39
build-model-states-explored 12612 37
build-model-states-explored 12651 39
build-model-states-explored 12690 39
build-model-states-explored 12727 37
build-model-states-explored 12766 39
build-model-states-explored 12803 37
build-model-states-explored 12842 39
build-model-states-explored 12879 37
build-model-states-explored 12918 39
build-model-states-explored 12955 37
build-model-states-explored 12994 39
build-model-states-explored 13033 39
build-model-states-explored 13070 37
build-model-states-explored 13109 39
build-model-states-explored 13146 37
build-model-states-explored 13185 39
build-model-states-explored 13224 39
build-model-states-explored 13261 37
build-model-states-explored 13300 39
build-model-states-explored 13337 37
build-model-states-explored 13376 39
build-model-states-explored 13415 39
build-model-states-explored 13453 38
build-model-states-explored 13491 38
build-model-states-explored 13530 39
build-model-states-explored 13568 38
build-model-states-explored 13606 38
build-model-states-explored 13645 39
build-model-states-explored 13683 38
build-model-states-explored 13722 39
build-model-states-explored 13760 38
build-model-states-explored 13799 39
build-model-states-explored 13837 38
build-model-states-explored 13875 38
build-model-states-explored 13914 39
build-model-states-explored 13953 39
build-model-states-explored 13990 37
build-model-states-explored 14029 39
build-model-states-explored 14068 39
build-model-states-explored 14107 39
build-model-states-explored 14146 39
build-model-states-explored 14185 39
build-model-states-explored 14222 37
build-model-states-explored 14261 39
build-model-states-explored 14300 39
build-model-states-explored 14339 39
build-model-states-explored 14378 39
build-model-states-explored 14417 39
build-model-states-explored 14455 38
build-model-states-explored 14494 39
build-model-states-explored 14533 39
build-model-states-explored 14572 39
build-model-states-explored 14610 38
build-model-states-explored 14651 41
build-model-states-explored 14690 39
build-model-states-explored 14729 39
build-model-states-explored 14769 40
build-model-states-explored 14808 39
build-model-states-explored 14849 41
build-model-states-explored 14888 39
build-model-states-explored 14928 40
build-model-states-explored 14969 41
build-model-states-explored 15010 41
build-model-states-explored 15050 40
build-model-states-explored 15092 42
build-model-states-explored 15138 46
build-model-states-explored 15187 49
build-model-states-explored 15225 38
build-model-states-explored 15262 37
build-model-states-explored 15301 39
build-model-states-explored 15338 37
build-model-states-explored 15375 37
build-model-states-explored 15414 39
build-model-states-explored 15451 37
build-model-states-explored 15490 39
build-model-states-explored 15527 37
build-model-states-explored 15565 38
build-model-states-explored 15604 39
build-model-states-explored 15641 37
build-model-states-explored 15680 39
build-model-states-explored 15717 37
build-model-states-explored 15754 37
build-model-states-explored 15793 39
build-model-states-explored 15830 37
build-model-states-explored 15869 39
build-model-states-explored 15906 37
build-model-states-explored 15945 39
build-model-states-explored 15982 37
build-model-states-explored 16019 37
build-model-states-explored 16058 39
build-model-states-explored 16096 38
build-model-states-explored 16135 39
build-model-states-explored 16172 37
build-model-states-explored 16211 39
build-model-states-explored 16248 37
build-model-states-explored 16285 37
build-model-states-explored 16324 39
build-model-states-explored 16361 37
build-model-states-explored 16400 39
build-model-states-explored 16437 37
build-model-states-explored 16476 39
build-model-states-explored 16513 37
build-model-states-explored 16552 39
build-model-states-explored 16590 38
build-model-states-explored 16627 37
build-model-states-explored 16666 39
build-model-states-explored 16703 37
build-model-states-explored 16742 39
build-model-states-explored 16779 37
build-model-states-explored 16817 38
build-model-states-explored 16855 38
build-model-states-explored 16894 39
build-model-states-explored 16931 37
build-model-states-explored 16970 39
build-model-states-explored 17007 37
build-model-states-explored 17045 38
build-model-states-explored 17083 38
build-model-states-explored 17121 38
build-model-states-explored 17159 38
build-model-states-explored 17198 39
build-model-states-explored 17235 37
build-model-states-explored 17274 39
build-model-states-explored 17311 37
build-model-states-explored 17350 39
build-model-states-explored 17387 37
build-model-states-explored 17426 39
build-model-states-explored 17463 37
build-model-states-explored 17502 39
build-model-states-explored 17539 37
build-model-states-explored 17578 39
build-model-states-explored 17615 37
build-model-states-explored 17654 39
build-model-states-explored 17693 39
build-model-states-explored 17730 37
build-model-states-explored 17769 39
build-model-states-explored 17806 37
build-model-states-explored 17845 39
build-model-states-explored 17882 37
build-model-states-explored 17921 39
build-model-states-explored 17960 39
build-model-states-explored 17997 37
build-model-states-explored 18035 38
build-model-states-explored 18073 38
build-model-states-explored 18111 38
build-model-states-explored 18150 39
build-model-states-explored 18187 37
build-model-states-explored 18226 39
build-model-states-explored 18265 39
build-model-states-explored 18302 37
build-model-states-explored 18341 39
build-model-states-explored 18378 37
build-model-states-explored 18417 39
build-model-states-explored 18456 39
build-model-states-explored 18495 39
build-model-states-explored 18532 37
build-model-states-explored 18571 39
build-model-states-explored 18610 39
build-model-states-explored 18647 37
build-model-states-explored 18686 39
build-model-states-explored 18724 38
build-model-states-explored 18763 39
build-model-states-explored 18800 37
build-model-states-explored 18839 39
build-model-states-explored 18878 39
build-model-states-explored 18917 39
build-model-states-explored 18955 38
build-model-states-explored 18993 38
build-model-states-explored 19031 38
build-model-states-explored 19070 39
build-model-states-explored 19109 39
build-model-states-explored 19147 38
build-model-states-explored 19186 39
build-model-states-explored 19225 39
build-model-states-explored 19264 39
build-model-states-explored 19303 39
build-model-states-explored 19342 39
build-model-states-explored 19381 39
build-model-states-explored 19419 38
build-model-states-explored 19458 39
build-model-states-explored 19497 39
build-model-states-explored 19536 39
build-model-states-explored 19576 40
build-model-states-explored 19615 39
build-model-states-explored 19654 39
build-model-states-explored 19695 41
build-model-states-explored 19735 40
build-model-states-explored 19774 39
build-model-states-explored 19814 40
build-model-states-explored 19855 41
build-model-states-explored 19896 41
build-model-states-explored 19938 42
build-model-states-explored 19982 44
build-model-states-explored 20033 51
build-model-states-explored 20072 39
build-model-states-explored 20109 37
build-model-states-explored 20147 38
build-model-states-explored 20185 38
build-model-states-explored 20222 37
build-model-states-explored 20261 39
build-model-states-explored 20298 37
build-model-states-explored 20337 39
build-model-states-explored 20374 37
build-model-states-explored 20411 37
build-model-states-explored 20450 39
build-model-states-explored 20487 37
build-model-states-explored 20526 39
build-model-states-explored 20563 37
build-model-states-explored 20600 37
build-model-states-explored 20639 39
build-model-states-explored 20675 36
build-model-states-explored 20714 39
build-model-states-explored 20751 37
build-model-states-explored 20788 37
build-model-states-explored 20827 39
build-model-states-explored 20864 37
build-model-states-explored 20903 39
build-model-states-explored 20940 37
build-model-states-explored 20979 39
build-model-states-explored 21016 37
build-model-states-explored 21053 37
build-model-states-explored 21092 39
build-model-states-explored 21129 37
build-model-states-explored 21168 39
build-model-states-explored 21205 37
build-model-states-explored 21243 38
build-model-states-explored 21280 37
build-model-states-explored 21319 39
build-model-states-explored 21356 37
build-model-states-explored 21395 39
build-model-states-explored 21431 36
build-model-states-explored 21468 37
build-model-states-explored 21507 39
build-model-states-explored 21544 37
build-model-states-explored 21583 39
build-model-states-explored 21619 36
build-model-states-explored 21658 39
build-model-states-explored 21690 32
build-model-states-explored 21690 0
build-model-states-explored 21690 0
build-model-states-explored 21690 0
build-model-states-explored 21690 0
build-model-states-explored 21690 0
build-model-states-explored 21690 0
build-model-states-explored 21690 0
build-model-states-explored 21709 19
build-model-states-explored 21747 38
build-model-states-explored 21784 37
build-model-states-explored 21823 39
build-model-states-explored 21860 37
build-model-states-explored 21898 38
build-model-states-explored 21935 37
build-model-states-explored 21974 39
build-model-states-explored 22011 37
build-model-states-explored 22049 38
build-model-states-explored 22086 37
build-model-states-explored 22125 39
build-model-states-explored 22162 37
build-model-states-explored 22200 38
build-model-states-explored 22237 37
build-model-states-explored 22276 39
build-model-states-explored 22315 39
build-model-states-explored 22351 36
build-model-states-explored 22390 39
build-model-states-explored 22423 33
build-model-states-explored 22460 37
build-model-states-explored 22497 37
build-model-states-explored 22535 38
build-model-states-explored 22572 37
build-model-states-explored 22610 38
build-model-states-explored 22647 37
build-model-states-explored 22686 39
build-model-states-explored 22725 39
build-model-states-explored 22762 37
build-model-states-explored 22801 39
build-model-states-explored 22838 37
build-model-states-explored 22877 39
build-model-states-explored 22916 39
build-model-states-explored 22953 37
build-model-states-explored 22992 39
build-model-states-explored 23030 38
build-model-states-explored 23067 37
build-model-states-explored 23106 39
build-model-states-explored 23145 39
build-model-states-explored 23182 37
build-model-states-explored 23221 39
build-model-states-explored 23260 39
build-model-states-explored 23296 36
build-model-states-explored 23335 39
build-model-states-explored 23373 38
build-model-states-explored 23410 37
build-model-states-explored 23449 39
build-model-states-explored 23487 38
build-model-states-explored 23526 39
build-model-states-explored 23563 37
build-model-states-explored 23602 39
build-model-states-explored 23641 39
build-model-states-explored 23680 39
build-model-states-explored 23719 39
build-model-states-explored 23756 37
build-model-states-explored 23794 38
build-model-states-explored 23833 39
build-model-states-explored 23872 39
build-model-states-explored 23911 39
build-model-states-explored 23950 39
build-model-states-explored 23989 39
build-model-states-explored 24028 39
build-model-states-explored 24067 39
build-model-states-explored 24106 39
build-model-states-explored 24144 38
build-model-states-explored 24183 39
build-model-states-explored 24222 39
build-model-states-explored 24261 39
build-model-states-explored 24302 41
build-model-states-explored 24340 38
build-model-states-explored 24379 39
build-model-states-explored 24420 41
build-model-states-explored 24458 38
build-model-states-explored 24499 41
build-model-states-explored 24538 39
build-model-states-explored 24578 40
build-model-states-explored 24619 41
build-model-states-explored 24661 42
build-model-states-explored 24702 41
build-model-states-explored 24746 44
build-model-states-explored 24797 51
build-model-states-explored 24836 39
build-model-states-explored 24873 37
build-model-states-explored 24912 39
build-model-states-explored 24949 37
build-model-states-explored 24986 37
build-model-states-explored 25025 39
build-model-states-explored 25062 37
build-model-states-explored 25101 39
build-model-states-explored 25138 37
build-model-states-explored 25175 37
build-model-states-explored 25214 39
build-model-states-explored 25251 37
build-model-states-explored 25290 39
build-model-states-explored 25327 37
build-model-states-explored 25364 37
build-model-states-explored 25403 39
build-model-states-explored 25440 37
build-model-states-explored 25479 39
build-model-states-explored 25516 37
build-model-states-explored 25555 39
build-model-states-explored 25592 37
build-model-states-explored 25629 37
build-model-states-explored 25668 39
build-model-states-explored 25705 37
build-model-states-explored 25744 39
build-model-states-explored 25781 37
build-model-states-explored 25820 39
build-model-states-explored 25857 37
build-model-states-explored 25896 39
build-model-states-explored 25933 37
build-model-states-explored 25970 37
build-model-states-explored 26009 39
build-model-states-explored 26046 37
build-model-states-explored 26085 39
build-model-states-explored 26122 37
build-model-states-explored 26161 39
build-model-states-explored 26198 37
build-model-states-explored 26237 39
build-model-states-explored 26274 37
build-model-states-explored 26313 39
build-model-states-explored 26350 37
build-model-states-explored 26389 39
build-model-states-explored 26426 37
build-model-states-explored 26465 39
build-model-states-explored 26501 36
build-model-states-explored 26540 39
build-model-states-explored 26577 37
build-model-states-explored 26616 39
build-model-states-explored 26653 37
build-model-states-explored 26692 39
build-model-states-explored 26729 37
build-model-states-explored 26768 39
build-model-states-explored 26805 37
build-model-states-explored 26844 39
build-model-states-explored 26881 37
build-model-states-explored 26920 39
build-model-states-explored 26957 37
build-model-states-explored 26996 39
build-model-states-explored 27033 37
build-model-states-explored 27072 39
build-model-states-explored 27109 37
build-model-states-explored 27148 39
build-model-states-explored 27187 39
build-model-states-explored 27224 37
build-model-states-explored 27263 39
build-model-states-explored 27300 37
build-model-states-explored 27339 39
build-model-states-explored 27376 37
build-model-states-explored 27414 38
build-model-states-explored 27453 39
build-model-states-explored 27490 37
build-model-states-explored 27529 39
build-model-states-explored 27566 37
build-model-states-explored 27605 39
build-model-states-explored 27644 39
build-model-states-explored 27681 37
build-model-states-explored 27720 39
build-model-states-explored 27759 39
build-model-states-explored 27796 37
build-model-states-explored 27835 39
build-model-states-explored 27874 39
build-model-states-explored 27911 37
build-model-states-explored 27949 38
build-model-states-explored 27988 39
build-model-states-explored 28024 36
build-model-states-explored 28063 39
build-model-states-explored 28102 39
build-model-states-explored 28141 39
build-model-states-explored 28178 37
build-model-states-explored 28217 39
build-model-states-explored 28256 39
build-model-states-explored 28295 39
build-model-states-explored 28332 37
build-model-states-explored 28371 39
build-model-states-explored 28409 38
build-model-states-explored 28448 39
build-model-states-explored 28487 39
build-model-states-explored 28526 39
build-model-states-explored 28565 39
build-model-states-explored 28604 39
build-model-states-explored 28641 37
build-model-states-explored 28680 39
build-model-states-explored 28718 38
build-model-states-explored 28757 39
build-model-states-explored 28798 41
build-model-states-explored 28837 39
build-model-states-explored 28875 38
build-model-states-explored 28914 39
build-model-states-explored 28953 39
build-model-states-explored 28992 39
build-model-states-explored 29032 40
build-model-states-explored 29071 39
build-model-states-explored 29110 39
build-model-states-explored 29150 40
build-model-states-explored 29191 41
build-model-states-explored 29230 39
build-model-states-explored 29270 40
build-model-states-explored 29312 42
build-model-states-explored 29353 41
build-model-states-explored 29395 42
build-model-states-explored 29442 47
build-model-states-explored 29488 46
build-model-states-explored 29525 37
build-model-states-explored 29562 37
build-model-states-explored 29601 39
build-model-states-explored 29638 37
build-model-states-explored 29677 39
build-model-states-explored 29714 37
build-model-states-explored 29751 37
build-model-states-explored 29790 39
build-model-states-explored 29827 37
build-model-states-explored 29866 39
build-model-states-explored 29903 37
build-model-states-explored 29942 39
build-model-states-explored 29979 37
build-model-states-explored 30016 37
build-model-states-explored 30055 39
build-model-states-explored 30092 37
build-model-states-explored 30131 39
build-model-states-explored 30168 37
build-model-states-explored 30207 39
build-model-states-explored 30244 37
build-model-states-explored 30281 37
build-model-states-explored 30320 39
build-model-states-explored 30356 36
build-model-states-explored 30395 39
build-model-states-explored 30432 37
build-model-states-explored 30471 39
build-model-states-explored 30508 37
build-model-states-explored 30545 37
build-model-states-explored 30584 39
build-model-states-explored 30621 37
build-model-states-explored 30660 39
build-model-states-explored 30697 37
build-model-states-explored 30735 38
build-model-states-explored 30773 38
build-model-states-explored 30811 38
build-model-states-explored 30848 37
build-model-states-explored 30887 39
build-model-states-explored 30924 37
build-model-states-explored 30963 39
build-model-states-explored 31000 37
build-model-states-explored 31039 39
build-model-states-explored 31076 37
build-model-states-explored 31115 39
build-model-states-explored 31152 37
build-model-states-explored 31191 39
build-model-states-explored 31228 37
build-model-states-explored 31267 39
build-model-states-explored 31303 36
build-model-states-explored 31342 39
build-model-states-explored 31380 38
build-model-states-explored 31418 38
build-model-states-explored 31455 37
build-model-states-explored 31494 39
build-model-states-explored 31531 37
build-model-states-explored 31570 39
build-model-states-explored 31607 37
build-model-states-explored 31646 39
build-model-states-explored 31683 37
build-model-states-explored 31722 39
build-model-states-explored 31761 39
build-model-states-explored 31798 37
build-model-states-explored 31837 39
build-model-states-explored 31874 37
build-model-states-explored 31912 38
build-model-states-explored 31949 37
build-model-states-explored 31988 39
build-model-states-explored 32027 39
build-model-states-explored 32064 37
build-model-states-explored 32103 39
build-model-states-explored 32140 37
build-model-states-explored 32179 39
build-model-states-explored 32218 39
build-model-states-explored 32255 37
build-model-states-explored 32293 38
build-model-states-explored 32332 39
build-model-states-explored 32369 37
build-model-states-explored 32408 39
build-model-states-explored 32447 39
build-model-states-explored 32484 37
build-model-states-explored 32523 39
build-model-states-explored 32562 39
build-model-states-explored 32598 36
build-model-states-explored 32637 39
build-model-states-explored 32676 39
build-model-states-explored 32715 39
build-model-states-explored 32752 37
build-model-states-explored 32790 38
build-model-states-explored 32829 39
build-model-states-explored 32868 39
build-model-states-explored 32907 39
build-model-states-explored 32944 37
build-model-states-explored 32982 38
build-model-states-explored 33021 39
build-model-states-explored 33060 39
build-model-states-explored 33099 39
build-model-states-explored 33138 39
build-model-states-explored 33176 38
build-model-states-explored 33215 39
build-model-states-explored 33254 39
build-model-states-explored 33293 39
build-model-states-explored 33332 39
build-model-states-explored 33370 38
build-model-states-explored 33409 39
build-model-states-explored 33448 39
build-model-states-explored 33487 39
build-model-states-explored 33525 38
build-model-states-explored 33564 39
build-model-states-explored 33605 41
build-model-states-explored 33643 38
build-model-states-explored 33684 41
build-model-states-explored 33723 39
build-model-states-explored 33763 40
build-model-states-explored 33804 41
build-model-states-explored 33844 40
build-model-states-explored 33884 40
build-model-states-explored 33925 41
build-model-states-explored 33968 43
build-model-states-explored 34013 45
build-model-states-explored 34057 44
build-model-states-explored 34094 37
build-model-states-explored 34130 36
build-model-states-explored 34169 39
build-model-states-explored 34205 36
build-model-states-explored 34244 39
build-model-states-explored 34281 37
build-model-states-explored 34318 37
build-model-states-explored 34357 39
build-model-states-explored 34394 37
build-model-states-explored 34433 39
build-model-states-explored 34470 37
build-model-states-explored 34509 39
build-model-states-explored 34546 37
build-model-states-explored 34583 37
build-model-states-explored 34621 38
build-model-states-explored 34658 37
build-model-states-explored 34697 39
build-model-states-explored 34734 37
build-model-states-explored 34773 39
build-model-states-explored 34810 37
build-model-states-explored 34847 37
build-model-states-explored 34885 38
build-model-states-explored 34921 36
build-model-states-explored 34960 39
build-model-states-explored 34997 37
build-model-states-explored 35036 39
build-model-states-explored 35073 37
build-model-states-explored 35111 38
build-model-states-explored 35148 37
build-model-states-explored 35185 37
build-model-states-explored 35224 39
build-model-states-explored 35261 37
build-model-states-explored 35300 39
build-model-states-explored 35337 37
build-model-states-explored 35376 39
build-model-states-explored 35413 37
build-model-states-explored 35452 39
build-model-states-explored 35489 37
build-model-states-explored 35528 39
build-model-states-explored 35564 36
build-model-states-explored 35603 39
build-model-states-explored 35640 37
build-model-states-explored 35679 39
build-model-states-explored 35716 37
build-model-states-explored 35755 39
build-model-states-explored 35792 37
build-model-states-explored 35831 39
build-model-states-explored 35868 37
build-model-states-explored 35906 38
build-model-states-explored 35943 37
build-model-states-explored 35982 39
build-model-states-explored 36019 37
build-model-states-explored 36058 39
build-model-states-explored 36097 39
build-model-states-explored 36134 37
build-model-states-explored 36173 39
build-model-states-explored 36210 37
build-model-states-explored 36249 39
build-model-states-explored 36286 37
build-model-states-explored 36324 38
build-model-states-explored 36361 37
build-model-states-explored 36400 39
build-model-states-explored 36439 39
build-model-states-explored 36476 37
build-model-states-explored 36515 39
build-model-states-explored 36552 37
build-model-states-explored 36591 39
build-model-states-explored 36629 38
build-model-states-explored 36666 37
build-model-states-explored 36705 39
build-model-states-explored 36744 39
build-model-states-explored 36781 37
build-model-states-explored 36820 39
build-model-states-explored 36859 39
build-model-states-explored 36896 37
build-model-states-explored 36934 38
build-model-states-explored 36973 39
build-model-states-explored 37010 37
build-model-states-explored 37049 39
build-model-states-explored 37088 39
build-model-states-explored 37125 37
build-model-states-explored 37163 38
build-model-states-explored 37202 39
build-model-states-explored 37241 39
build-model-states-explored 37278 37
build-model-states-explored 37316 38
build-model-states-explored 37355 39
build-model-states-explored 37394 39
build-model-states-explored 37433 39
build-model-states-explored 37470 37
build-model-states-explored 37508 38
build-model-states-explored 37547 39
build-model-states-explored 37586 39
build-model-states-explored 37625 39
build-model-states-explored 37664 39
build-model-states-explored 37702 38
build-model-states-explored 37741 39
build-model-states-explored 37780 39
build-model-states-explored 37819 39
build-model-states-explored 37857 38
build-model-states-explored 37896 39
build-model-states-explored 37935 39
build-model-states-explored 37974 39
build-model-states-explored 38014 40
build-model-states-explored 38053 39
build-model-states-explored 38092 39
build-model-states-explored 38132 40
build-model-states-explored 38171 39
build-model-states-explored 38211 40
build-model-states-explored 38250 39
build-model-states-explored 38290 40
build-model-states-explored 38331 41
build-model-states-explored 38373 42
build-model-states-explored 38414 41
build-model-states-explored 38457 43
build-model-states-explored 38508 51
build-model-states-explored 38547 39
build-model-states-explored 38584 37
build-model-states-explored 38622 38
build-model-states-explored 38659 37
build-model-states-explored 38696 37
build-model-states-explored 38735 39
build-model-states-explored 38772 37
build-model-states-explored 38811 39
build-model-states-explored 38848 37
build-model-states-explored 38887 39
build-model-states-explored 38924 37
build-model-states-explored 38961 37
build-model-states-explored 39000 39
build-model-states-explored 39036 36
build-model-states-explored 39075 39
build-model-states-explored 39112 37
build-model-states-explored 39151 39
build-model-states-explored 39188 37
build-model-states-explored 39225 37
build-model-states-explored 39264 39
build-model-states-explored 39301 37
build-model-states-explored 39340 39
build-model-states-explored 39377 37
build-model-states-explored 39416 39
build-model-states-explored 39453 37
build-model-states-explored 39491 38
build-model-states-explored 39528 37
build-model-states-explored 39565 37
build-model-states-explored 39604 39
build-model-states-explored 39640 36
build-model-states-explored 39679 39
build-model-states-explored 39716 37
build-model-states-explored 39755 39
build-model-states-explored 39792 37
build-model-states-explored 39830 38
build-model-states-explored 39867 37
build-model-states-explored 39906 39
build-model-states-explored 39943 37
build-model-states-explored 39982 39
build-model-states-explored 40019 37
build-model-states-explored 40057 38
build-model-states-explored 40094 37
build-model-states-explored 40133 39
build-model-states-explored 40170 37
build-model-states-explored 40209 39
build-model-states-explored 40246 37
build-model-states-explored 40284 38
build-model-states-explored 40321 37
build-model-states-explored 40360 39
build-model-states-explored 40397 37
build-model-states-explored 40436 39
build-model-states-explored 40475 39
build-model-states-explored 40511 36
build-model-states-explored 40550 39
build-model-states-explored 40587 37
build-model-states-explored 40626 39
build-model-states-explored 40663 37
build-model-states-explored 40702 39
build-model-states-explored 40738 36
build-model-states-explored 40777 39
build-model-states-explored 40816 39
build-model-states-explored 40853 37
build-model-states-explored 40891 38
build-model-states-explored 40928 37
build-model-states-explored 40967 39
build-model-states-explored 41006 39
build-model-states-explored 41043 37
build-model-states-explored 41081 38
build-model-states-explored 41120 39
build-model-states-explored 41157 37
build-model-states-explored 41196 39
build-model-states-explored 41232 36
build-model-states-explored 41271 39
build-model-states-explored 41310 39
build-model-states-explored 41347 37
build-model-states-explored 41386 39
build-model-states-explored 41424 38
build-model-states-explored 41463 39
build-model-states-explored 41500 37
build-model-states-explored 41538 38
build-model-states-explored 41577 39
build-model-states-explored 41616 39
build-model-states-explored 41652 36
build-model-states-explored 41691 39
build-model-states-explored 41730 39
build-model-states-explored 41768 38
build-model-states-explored 41805 37
build-model-states-explored 41843 38
build-model-states-explored 41882 39
build-model-states-explored 41921 39
build-model-states-explored 41960 39
build-model-states-explored 41998 38
build-model-states-explored 42037 39
build-model-states-explored 42076 39
build-model-states-explored 42114 38
build-model-states-explored 42153 39
build-model-states-explored 42192 39
build-model-states-explored 42230 38
build-model-states-explored 42269 39
build-model-states-explored 42307 38
build-model-states-explored 42346 39
build-model-states-explored 42385 39
build-model-states-explored 42425 40
build-model-states-explored 42464 39
build-model-states-explored 42502 38
build-model-states-explored 42543 41
build-model-states-explored 42581 38
build-model-states-explored 42622 41
build-model-states-explored 42662 40
build-model-states-explored 42702 40
build-model-states-explored 42743 41
build-model-states-explored 42785 42
build-model-states-explored 42827 42
build-model-states-explored 42872 45
build-model-states-explored 42918 46
build-model-states-explored 42955 37
build-model-states-explored 42994 39
build-model-states-explored 43030 36
build-model-states-explored 43067 37
build-model-states-explored 43106 39
build-model-states-explored 43143 37
build-model-states-explored 43182 39
build-model-states-explored 43219 37
build-model-states-explored 43255 36
build-model-states-explored 43294 39
build-model-states-explored 43331 37
build-model-states-explored 43370 39
build-model-states-explored 43405 35
build-model-states-explored 43443 38
build-model-states-explored 43480 37
build-model-states-explored 43517 37
build-model-states-explored 43556 39
build-model-states-explored 43570 14
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43570 0
build-model-states-explored 43581 11
build-model-states-explored 43620 39
build-model-states-explored 43657 37
build-model-states-explored 43696 39
build-model-states-explored 43732 36
build-model-states-explored 43769 37
build-model-states-explored 43808 39
build-model-states-explored 43845 37
build-model-states-explored 43883 38
build-model-states-explored 43920 37
build-model-states-explored 43959 39
build-model-states-explored 43996 37
build-model-states-explored 44034 38
build-model-states-explored 44071 37
build-model-states-explored 44110 39
build-model-states-explored 44147 37
build-model-states-explored 44185 38
build-model-states-explored 44222 37
build-model-states-explored 44261 39
build-model-states-explored 44297 36
build-model-states-explored 44336 39
build-model-states-explored 44373 37
build-model-states-explored 44411 38
build-model-states-explored 44448 37
build-model-states-explored 44487 39
build-model-states-explored 44524 37
build-model-states-explored 44562 38
build-model-states-explored 44599 37
build-model-states-explored 44638 39
build-model-states-explored 44675 37
build-model-states-explored 44713 38
build-model-states-explored 44750 37
build-model-states-explored 44788 38
build-model-states-explored 44825 37
build-model-states-explored 44863 38
build-model-states-explored 44900 37
build-model-states-explored 44936 36
build-model-states-explored 44974 38
build-model-states-explored 45010 36
build-model-states-explored 45048 38
build-model-states-explored 45085 37
build-model-states-explored 45124 39
build-model-states-explored 45162 38
build-model-states-explored 45199 37
build-model-states-explored 45238 39
build-model-states-explored 45274 36
build-model-states-explored 45313 39
build-model-states-explored 45351 38
build-model-states-explored 45388 37
build-model-states-explored 45427 39
build-model-states-explored 45464 37
build-model-states-explored 45502 38
build-model-states-explored 45540 38
build-model-states-explored 45577 37
build-model-states-explored 45615 38
build-model-states-explored 45654 39
build-model-states-explored 45693 39
build-model-states-explored 45729 36
build-model-states-explored 45766 37
build-model-states-explored 45805 39
build-model-states-explored 45841 36
build-model-states-explored 45879 38
build-model-states-explored 45918 39
build-model-states-explored 45956 38
build-model-states-explored 45993 37
build-model-states-explored 46031 38
build-model-states-explored 46070 39
build-model-states-explored 46109 39
build-model-states-explored 46147 38
build-model-states-explored 46184 37
build-model-states-explored 46222 38
build-model-states-explored 46261 39
build-model-states-explored 46299 38
build-model-states-explored 46338 39
build-model-states-explored 46376 38
build-model-states-explored 46415 39
build-model-states-explored 46453 38
build-model-states-explored 46492 39
build-model-states-explored 46530 38
build-model-states-explored 46568 38
build-model-states-explored 46607 39
build-model-states-explored 46645 38
build-model-states-explored 46685 40
build-model-states-explored 46723 38
build-model-states-explored 46762 39
build-model-states-explored 46802 40
build-model-states-explored 46840 38
build-model-states-explored 46880 40
build-model-states-explored 46918 38
build-model-states-explored 46959 41
build-model-states-explored 46999 40
build-model-states-explored 47039 40
build-model-states-explored 47081 42
build-model-states-explored 47125 44
build-model-states-explored 47175 50
build-model-states-explored 47214 39
build-model-states-explored 47250 36
build-model-states-explored 47289 39
build-model-states-explored 47318 29
build-model-states-explored 47354 36
build-model-states-explored 47393 39
build-model-states-explored 47430 37
build-model-states-explored 47469 39
build-model-states-explored 47506 37
build-model-states-explored 47543 37
build-model-states-explored 47582 39
build-model-states-explored 47619 37
build-model-states-explored 47658 39
build-model-states-explored 47695 37
build-model-states-explored 47734 39
build-model-states-explored 47771 37
build-model-states-explored 47809 38
build-model-states-explored 47846 37
build-model-states-explored 47883 37
build-model-states-explored 47922 39
build-model-states-explored 47959 37
build-model-states-explored 47998 39
build-model-states-explored 48035 37
build-model-states-explored 48074 39
build-model-states-explored 48110 36
build-model-states-explored 48149 39
build-model-states-explored 48186 37
build-model-states-explored 48225 39
build-model-states-explored 48262 37
build-model-states-explored 48301 39
build-model-states-explored 48338 37
build-model-states-explored 48377 39
build-model-states-explored 48414 37
build-model-states-explored 48452 38
build-model-states-explored 48489 37
build-model-states-explored 48528 39
build-model-states-explored 48565 37
build-model-states-explored 48604 39
build-model-states-explored 48641 37
build-model-states-explored 48679 38
build-model-states-explored 48716 37
build-model-states-explored 48755 39
build-model-states-explored 48792 37
build-model-states-explored 48831 39
build-model-states-explored 48868 37
build-model-states-explored 48907 39
build-model-states-explored 48944 37
build-model-states-explored 48982 38
build-model-states-explored 49020 38
build-model-states-explored 49058 38
build-model-states-explored 49097 39
build-model-states-explored 49134 37
build-model-states-explored 49173 39
build-model-states-explored 49210 37
build-model-states-explored 49249 39
build-model-states-explored 49286 37
build-model-states-explored 49325 39
build-model-states-explored 49363 38
build-model-states-explored 49400 37
build-model-states-explored 49439 39
build-model-states-explored 49476 37
build-model-states-explored 49515 39
build-model-states-explored 49554 39
build-model-states-explored 49591 37
build-model-states-explored 49629 38
build-model-states-explored 49668 39
build-model-states-explored 49705 37
build-model-states-explored 49744 39
build-model-states-explored 49783 39
build-model-states-explored 49820 37
build-model-states-explored 49859 39
build-model-states-explored 49897 38
build-model-states-explored 49934 37
build-model-states-explored 49973 39
build-model-states-explored 50012 39
build-model-states-explored 50051 39
build-model-states-explored 50087 36
build-model-states-explored 50126 39
build-model-states-explored 50165 39
build-model-states-explored 50203 38
build-model-states-explored 50240 37
build-model-states-explored 50279 39
build-model-states-explored 50318 39
build-model-states-explored 50356 38
build-model-states-explored 50395 39
build-model-states-explored 50434 39
build-model-states-explored 50472 38
build-model-states-explored 50509 37
build-model-states-explored 50548 39
build-model-states-explored 50587 39
build-model-states-explored 50626 39
build-model-states-explored 50664 38
build-model-states-explored 50703 39
build-model-states-explored 50744 41
build-model-states-explored 50782 38
build-model-states-explored 50821 39
build-model-states-explored 50860 39
build-model-states-explored 50898 38
build-model-states-explored 50939 41
build-model-states-explored 50978 39
build-model-states-explored 51016 38
build-model-states-explored 51057 41
build-model-states-explored 51095 38
build-model-states-explored 51136 41
build-model-states-explored 51176 40
build-model-states-explored 51217 41
build-model-states-explored 51259 42
build-model-states-explored 51301 42
build-model-states-explored 51347 46
build-model-states-explored 51394 47
build-model-states-explored 51431 37
build-model-states-explored 51468 37
build-model-states-explored 51507 39
build-model-states-explored 51544 37
build-model-states-explored 51583 39
build-model-states-explored 51620 37
build-model-states-explored 51659 39
build-model-states-explored 51696 37
build-model-states-explored 51733 37
build-model-states-explored 51771 38
build-model-states-explored 51808 37
build-model-states-explored 51847 39
build-model-states-explored 51884 37
build-model-states-explored 51923 39
build-model-states-explored 51960 37
build-model-states-explored 51999 39
build-model-states-explored 52036 37
build-model-states-explored 52073 37
build-model-states-explored 52112 39
build-model-states-explored 52149 37
build-model-states-explored 52188 39
build-model-states-explored 52225 37
build-model-states-explored 52263 38
build-model-states-explored 52300 37
build-model-states-explored 52339 39
build-model-states-explored 52376 37
build-model-states-explored 52415 39
build-model-states-explored 52452 37
build-model-states-explored 52491 39
build-model-states-explored 52527 36
build-model-states-explored 52566 39
build-model-states-explored 52603 37
build-model-states-explored 52642 39
build-model-states-explored 52679 37
build-model-states-explored 52717 38
build-model-states-explored 52754 37
build-model-states-explored 52793 39
build-model-states-explored 52830 37
build-model-states-explored 52869 39
build-model-states-explored 52906 37
build-model-states-explored 52945 39
build-model-states-explored 52982 37
build-model-states-explored 53020 38
build-model-states-explored 53057 37
build-model-states-explored 53096 39
build-model-states-explored 53135 39
build-model-states-explored 53172 37
build-model-states-explored 53211 39
build-model-states-explored 53248 37
build-model-states-explored 53287 39
build-model-states-explored 53324 37
build-model-states-explored 53362 38
build-model-states-explored 53401 39
build-model-states-explored 53438 37
build-model-states-explored 53476 38
build-model-states-explored 53513 37
build-model-states-explored 53552 39
build-model-states-explored 53591 39
build-model-states-explored 53628 37
build-model-states-explored 53666 38
build-model-states-explored 53703 37
build-model-states-explored 53742 39
build-model-states-explored 53781 39
build-model-states-explored 53818 37
build-model-states-explored 53857 39
build-model-states-explored 53895 38
build-model-states-explored 53932 37
build-model-states-explored 53971 39
build-model-states-explored 54010 39
build-model-states-explored 54049 39
build-model-states-explored 54086 37
build-model-states-explored 54124 38
build-model-states-explored 54163 39
build-model-states-explored 54200 37
build-model-states-explored 54239 39
build-model-states-explored 54278 39
build-model-states-explored 54317 39
build-model-states-explored 54355 38
build-model-states-explored 54392 37
build-model-states-explored 54431 39
build-model-states-explored 54470 39
build-model-states-explored 54508 38
build-model-states-explored 54547 39
build-model-states-explored 54586 39
build-model-states-explored 54625 39
build-model-states-explored 54663 38
build-model-states-explored 54702 39
build-model-states-explored 54741 39
build-model-states-explored 54780 39
build-model-states-explored 54818 38
build-model-states-explored 54857 39
build-model-states-explored 54896 39
build-model-states-explored 54934 38
build-model-states-explored 54973 39
build-model-states-explored 55011 38
build-model-states-explored 55052 41
build-model-states-explored 55090 38
build-model-states-explored 55131 41
build-model-states-explored 55169 38
build-model-states-explored 55210 41
build-model-states-explored 55250 40
build-model-states-explored 55291 41
build-model-states-explored 55331 40
build-model-states-explored 55371 40
build-model-states-explored 55415 44
build-model-states-explored 55461 46
build-model-states-explored 55506 45
build-model-states-explored 55543 37
build-model-states-explored 55582 39
build-model-states-explored 55619 37
build-model-states-explored 55656 37
build-model-states-explored 55694 38
build-model-states-explored 55731 37
build-model-states-explored 55770 39
build-model-states-explored 55807 37
build-model-states-explored 55846 39
build-model-states-explored 55883 37
build-model-states-explored 55920 37
build-model-states-explored 55959 39
build-model-states-explored 55996 37
build-model-states-explored 56034 38
build-model-states-explored 56071 37
build-model-states-explored 56110 39
build-model-states-explored 56147 37
build-model-states-explored 56186 39
build-model-states-explored 56223 37
build-model-states-explored 56262 39
build-model-states-explored 56299 37
build-model-states-explored 56338 39
build-model-states-explored 56373 35
build-model-states-explored 56409 36
build-model-states-explored 56447 38
build-model-states-explored 56483 36
build-model-states-explored 56521 38
build-model-states-explored 56558 37
build-model-states-explored 56597 39
build-model-states-explored 56634 37
build-model-states-explored 56673 39
build-model-states-explored 56710 37
build-model-states-explored 56749 39
build-model-states-explored 56786 37
build-model-states-explored 56825 39
build-model-states-explored 56862 37
build-model-states-explored 56900 38
build-model-states-explored 56939 39
build-model-states-explored 56976 37
build-model-states-explored 57015 39
build-model-states-explored 57052 37
build-model-states-explored 57091 39
build-model-states-explored 57128 37
build-model-states-explored 57166 38
build-model-states-explored 57203 37
build-model-states-explored 57241 38
build-model-states-explored 57278 37
build-model-states-explored 57316 38
build-model-states-explored 57355 39
build-model-states-explored 57392 37
build-model-states-explored 57430 38
build-model-states-explored 57467 37
build-model-states-explored 57506 39
build-model-states-explored 57545 39
build-model-states-explored 57582 37
build-model-states-explored 57620 38
build-model-states-explored 57657 37
build-model-states-explored 57696 39
build-model-states-explored 57735 39
build-model-states-explored 57772 37
build-model-states-explored 57811 39
build-model-states-explored 57849 38
build-model-states-explored 57886 37
build-model-states-explored 57925 39
build-model-states-explored 57964 39
build-model-states-explored 58001 37
build-model-states-explored 58040 39
build-model-states-explored 58078 38
build-model-states-explored 58117 39
build-model-states-explored 58154 37
build-model-states-explored 58193 39
build-model-states-explored 58232 39
build-model-states-explored 58270 38
build-model-states-explored 58307 37
build-model-states-explored 58346 39
build-model-states-explored 58385 39
build-model-states-explored 58424 39
build-model-states-explored 58462 38
build-model-states-explored 58499 37
build-model-states-explored 58538 39
build-model-states-explored 58577 39
build-model-states-explored 58616 39
build-model-states-explored 58654 38
build-model-states-explored 58693 39
build-model-states-explored 58732 39
build-model-states-explored 58770 38
build-model-states-explored 58809 39
build-model-states-explored 58848 39
build-model-states-explored 58886 38
build-model-states-explored 58925 39
build-model-states-explored 58966 41
build-model-states-explored 59004 38
build-model-states-explored 59043 39
build-model-states-explored 59082 39
build-model-states-explored 59122 40
build-model-states-explored 59161 39
build-model-states-explored 59201 40
build-model-states-explored 59242 41
build-model-states-explored 59280 38
build-model-states-explored 59323 43
build-model-states-explored 59363 40
build-model-states-explored 59405 42
build-model-states-explored 59449 44
build-model-states-explored 59498 49
build-model-states-explored 59537 39
build-model-states-explored 59574 37
build-model-states-explored 59612 38
build-model-states-explored 59649 37
build-model-states-explored 59688 39
build-model-states-explored 59725 37
build-model-states-explored 59762 37
build-model-states-explored 59801 39
build-model-states-explored 59838 37
build-model-states-explored 59876 38
build-model-states-explored 59913 37
build-model-states-explored 59952 39
build-model-states-explored 59989 37
build-model-states-explored 60028 39
build-model-states-explored 60065 37
build-model-states-explored 60104 39
build-model-states-explored 60141 37
build-model-states-explored 60180 39
build-model-states-explored 60217 37
build-model-states-explored 60254 37
build-model-states-explored 60292 38
build-model-states-explored 60329 37
build-model-states-explored 60368 39
build-model-states-explored 60405 37
build-model-states-explored 60444 39
build-model-states-explored 60481 37
build-model-states-explored 60520 39
build-model-states-explored 60556 36
build-model-states-explored 60595 39
build-model-states-explored 60632 37
build-model-states-explored 60671 39
build-model-states-explored 60708 37
build-model-states-explored 60747 39
build-model-states-explored 60784 37
build-model-states-explored 60823 39
build-model-states-explored 60860 37
build-model-states-explored 60898 38
build-model-states-explored 60937 39
build-model-states-explored 60974 37
build-model-states-explored 61013 39
build-model-states-explored 61050 37
build-model-states-explored 61089 39
build-model-states-explored 61126 37
build-model-states-explored 61165 39
build-model-states-explored 61202 37
build-model-states-explored 61240 38
build-model-states-explored 61279 39
build-model-states-explored 61316 37
build-model-states-explored 61355 39
build-model-states-explored 61392 37
build-model-states-explored 61431 39
build-model-states-explored 61469 38
build-model-states-explored 61506 37
build-model-states-explored 61545 39
build-model-states-explored 61582 37
build-model-states-explored 61621 39
build-model-states-explored 61660 39
build-model-states-explored 61697 37
build-model-states-explored 61735 38
build-model-states-explored 61774 39
build-model-states-explored 61811 37
build-model-states-explored 61850 39
build-model-states-explored 61889 39
build-model-states-explored 61925 36
build-model-states-explored 61964 39
build-model-states-explored 62003 39
build-model-states-explored 62042 39
build-model-states-explored 62079 37
build-model-states-explored 62117 38
build-model-states-explored 62156 39
build-model-states-explored 62195 39
build-model-states-explored 62232 37
build-model-states-explored 62270 38
build-model-states-explored 62309 39
build-model-states-explored 62348 39
build-model-states-explored 62387 39
build-model-states-explored 62424 37
build-model-states-explored 62462 38
build-model-states-explored 62501 39
build-model-states-explored 62540 39
build-model-states-explored 62578 38
build-model-states-explored 62617 39
build-model-states-explored 62656 39
build-model-states-explored 62695 39
build-model-states-explored 62733 38
build-model-states-explored 62771 38
build-model-states-explored 62810 39
build-model-states-explored 62849 39
build-model-states-explored 62887 38
build-model-states-explored 62928 41
build-model-states-explored 62967 39
build-model-states-explored 63005 38
build-model-states-explored 63046 41
build-model-states-explored 63084 38
build-model-states-explored 63125 41
build-model-states-explored 63163 38
build-model-states-explored 63204 41
build-model-states-explored 63244 40
build-model-states-explored 63286 42
build-model-states-explored 63328 42
build-model-states-explored 63371 43
build-model-states-explored 63421 50
build-model-states-explored 63460 39
build-model-states-explored 63497 37
build-model-states-explored 63536 39
build-model-states-explored 63573 37
build-model-states-explored 63612 39
build-model-states-explored 63648 36
build-model-states-explored 63685 37
build-model-states-explored 63724 39
build-model-states-explored 63761 37
build-model-states-explored 63800 39
build-model-states-explored 63837 37
build-model-states-explored 63876 39
build-model-states-explored 63912 36
build-model-states-explored 63951 39
build-model-states-explored 63988 37
build-model-states-explored 64027 39
build-model-states-explored 64064 37
build-model-states-explored 64103 39
build-model-states-explored 64140 37
build-model-states-explored 64178 38
build-model-states-explored 64215 37
build-model-states-explored 64252 37
build-model-states-explored 64290 38
build-model-states-explored 64327 37
build-model-states-explored 64366 39
build-model-states-explored 64403 37
build-model-states-explored 64442 39
build-model-states-explored 64479 37
build-model-states-explored 64517 38
build-model-states-explored 64554 37
build-model-states-explored 64593 39
build-model-states-explored 64632 39
build-model-states-explored 64669 37
build-model-states-explored 64708 39
build-model-states-explored 64745 37
build-model-states-explored 64783 38
build-model-states-explored 64820 37
build-model-states-explored 64859 39
build-model-states-explored 64896 37
build-model-states-explored 64935 39
build-model-states-explored 64972 37
build-model-states-explored 65011 39
build-model-states-explored 65050 39
build-model-states-explored 65087 37
build-model-states-explored 65125 38
build-model-states-explored 65162 37
build-model-states-explored 65201 39
build-model-states-explored 65238 37
build-model-states-explored 65277 39
build-model-states-explored 65315 38
build-model-states-explored 65352 37
build-model-states-explored 65391 39
build-model-states-explored 65430 39
build-model-states-explored 65467 37
build-model-states-explored 65505 38
build-model-states-explored 65542 37
build-model-states-explored 65581 39
build-model-states-explored 65620 39
build-model-states-explored 65657 37
build-model-states-explored 65695 38
build-model-states-explored 65734 39
build-model-states-explored 65773 39
build-model-states-explored 65809 36
build-model-states-explored 65848 39
build-model-states-explored 65887 39
build-model-states-explored 65924 37
build-model-states-explored 65963 39
build-model-states-explored 66001 38
build-model-states-explored 66040 39
build-model-states-explored 66077 37
build-model-states-explored 66116 39
build-model-states-explored 66154 38
build-model-states-explored 66193 39
build-model-states-explored 66232 39
build-model-states-explored 66271 39
build-model-states-explored 66307 36
build-model-states-explored 66346 39
build-model-states-explored 66385 39
build-model-states-explored 66423 38
build-model-states-explored 66462 39
build-model-states-explored 66501 39
build-model-states-explored 66539 38
build-model-states-explored 66578 39
build-model-states-explored 66617 39
build-model-states-explored 66655 38
build-model-states-explored 66694 39
build-model-states-explored 66734 40
build-model-states-explored 66773 39
build-model-states-explored 66811 38
build-model-states-explored 66852 41
build-model-states-explored 66890 38
build-model-states-explored 66929 39
build-model-states-explored 66969 40
build-model-states-explored 67010 41
build-model-states-explored 67050 40
build-model-states-explored 67090 40
build-model-states-explored 67131 41
build-model-states-explored 67173 42
build-model-states-explored 67217 44
build-model-states-explored 67267 50
build-model-states-explored 67304 37
build-model-states-explored 67341 37
build-model-states-explored 67380 39
build-model-states-explored 67417 37
build-model-states-explored 67456 39
build-model-states-explored 67493 37
build-model-states-explored 67532 39
build-model-states-explored 67569 37
build-model-states-explored 67607 38
build-model-states-explored 67644 37
build-model-states-explored 67681 37
build-model-states-explored 67720 39
build-model-states-explored 67757 37
build-model-states-explored 67796 39
build-model-states-explored 67833 37
build-model-states-explored 67871 38
build-model-states-explored 67907 36
build-model-states-explored 67945 38
build-model-states-explored 67981 36
build-model-states-explored 68019 38
build-model-states-explored 68055 36
build-model-states-explored 68094 39
build-model-states-explored 68130 36
build-model-states-explored 68169 39
build-model-states-explored 68206 37
build-model-states-explored 68245 39
build-model-states-explored 68282 37
build-model-states-explored 68321 39
build-model-states-explored 68358 37
build-model-states-explored 68396 38
build-model-states-explored 68433 37
build-model-states-explored 68472 39
build-model-states-explored 68509 37
build-model-states-explored 68547 38
build-model-states-explored 68584 37
build-model-states-explored 68623 39
build-model-states-explored 68660 37
build-model-states-explored 68698 38
build-model-states-explored 68737 39
build-model-states-explored 68774 37
build-model-states-explored 68812 38
build-model-states-explored 68848 36
build-model-states-explored 68887 39
build-model-states-explored 68924 37
build-model-states-explored 68962 38
build-model-states-explored 69001 39
build-model-states-explored 69038 37
build-model-states-explored 69076 38
build-model-states-explored 69113 37
build-model-states-explored 69152 39
build-model-states-explored 69191 39
build-model-states-explored 69228 37
build-model-states-explored 69266 38
build-model-states-explored 69305 39
build-model-states-explored 69342 37
build-model-states-explored 69381 39
build-model-states-explored 69420 39
build-model-states-explored 69457 37
build-model-states-explored 69495 38
build-model-states-explored 69534 39
build-model-states-explored 69571 37
build-model-states-explored 69610 39
build-model-states-explored 69648 38
build-model-states-explored 69687 39
build-model-states-explored 69724 37
build-model-states-explored 69763 39
build-model-states-explored 69801 38
build-model-states-explored 69840 39
build-model-states-explored 69877 37
build-model-states-explored 69916 39
build-model-states-explored 69954 38
build-model-states-explored 69993 39
build-model-states-explored 70032 39


----------
Computation aborted after 1800.044197320938 seconds since the total time limit of 1800 seconds was exceeded.